LockConfig := {
  locks: Array[Lock],
}

Lock := {
  name: LockName,
    // The name of the locked package (e.g. "stdlib.0.0.1").
    // This name need not consist of the (non-locked) package name and version information.
  location: GlobalLockLocation | …,
    // How to access the locked package.
  dependencies: Array[LockName],
}

LockName := String

GlobalLockLocation := {
  type: "global",
  path: String,
    // The relative path to the directory containing package.yaml seen from the SATySFi library root.
    // (e.g. "packages/stdlib/stdlib.0.0.1/")
}

PackageConfig := {
  language: String,
    // A SATySFi version required by the locked package (e.g. "0.1.0")
  contents: Library | Document | …,
    // How to access files such as sources provided by the package.
}

Library := {
  type: "library",
  source_directories: Array[String],  # e.g. [ "./src" ]
  main_module: String,
}

Document := {
  type: "document",
  file: String,
}